1. Abstract Interpretation of Declarative Languages
پدیدآورنده : Editors Samson Abramsky, Chris Hankin
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer Programs (validation),Structured Programming
رده :
QA
،
76
.
76
،.
V47
،
1987
2. Global specification and validation of embedded systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Embedded computer systems. ; Heterogeneous computing. ; Computer programs ; Validation. ;
3. Global specification and validation of embedded systems :
پدیدآورنده : by G. Nicolescu and A.A. Jerraya [eds.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Validation.,Embedded computer systems.,Heterogeneous computing.,Computer programs-- Validation.,COMPUTERS-- Hardware-- Handheld Devices.,COMPUTERS-- Hardware-- Personal Computers-- General.,COMPUTERS-- Microprocessors.,Embedded computer systems.,Heterogeneous computing.,Ingénierie.
رده :
TK7895
.
E42
G56
2007eb
4. Guidance for the Verification and Validation of Neural Networks
پدیدآورنده : Laura L.Pullum,Brian J.Taylor ,Majorie A.Darrah
کتابخانه: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
موضوع : Neural networks (Computer Science),Computer programs -- Validation,computer programs -- Verfication
رده :
006
,.
3222
,
P84
,
2007
5. Guidance for the verification and validation of neural networks /
پدیدآورنده : Laura L. Pullum, Brian J. Taylor, Majorie A. Darrah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Validation.,Computer programs-- Verification.,Neural networks (Computer science)
رده :
QA76
.
87
.
P85
2007
6. Program construction and verification
پدیدآورنده : Roland C. Backhouse
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computer programs,Computer programs- Validation
رده :
QA
،
76
,.
754
،.
P7
,
B28
،
1986
7. Software verification and validation for practitioners and managers /
پدیدآورنده : Steven R. Rakitin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Validation.,Computer software-- Verification.,COMPUTER PROGRAMS.,Computer software-- Validation.,Computer software-- Verification.,PROGRAM VERIFICATION (COMPUTERS),Qualitätskontrolle,SOFTWARE RELIABILITY.,Software.
رده :
QA76
.
76
.
V47
R35
2001